Burkhart Wolff: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (11)
Most Popular
List
- List
- Table

1

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

Year:

2006

Language:

english

File:

PDF, 4.58 MB

0 / 0

english, 2006

2

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Year:

2003

Language:

english

File:

PDF, 2.93 MB

0 / 0

english, 2003

3

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

Year:

2006

Language:

english

File:

PDF, 3.07 MB

0 / 0

english, 2006

4

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.)

Year:

2011

Language:

english

File:

PDF, 3.55 MB

0 / 0

english, 2011

5

Love is Eternal

Love is Eternal

BBB publishings

Tamara White, Joely Sue Burkhart, BBB publishings, Alexis Taylor, Beth Hendrix, Regina Frame, Hannah morse, Rowan St. George, Kate Bonham, Sarah Stein, Pandora Snow, Linny Lawless, Leaona Luxx, Jewel Lynn, Haley Rhoades, Kelly Lord, Ruby Wolff, C.A. King,

Year:

2022

Language:

english

File:

EPUB, 1.39 MB

0 / 5.0

english, 2022

6

Tests and Proofs

Tests and Proofs

Springer International Publishing

Catherine Dubois, Burkhart Wolff

Year:

2018

Language:

english

File:

PDF, 7.10 MB

0 / 0

english, 2018

7

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Year:

2003

Language:

english

File:

PDF, 1.79 MB

0 / 0

english, 2003

8

Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Marie-Claude Gaudel (auth.), Martin Gogolla, Burkhart Wolff (eds.)

Year:

2011

Language:

english

File:

PDF, 3.49 MB

0 / 0

english, 2011

9

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Marie-Claude Gaudel (auth.), Burkhart Wolff, Fatiha Zaïdi (eds.)

Year:

2011

Language:

english

File:

PDF, 4.17 MB

0 / 0

english, 2011

10

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)

Year:

2013

Language:

english

File:

PDF, 2.19 MB

0 / 0

english, 2013

11

Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Marie-Claude Gaudel (auth.), Martin Gogolla, Burkhart Wolff (eds.)

Year:

2011

Language:

english

File:

PDF, 3.03 MB

0 / 0

english, 2011